e275cc9a9172b9bf5f0e3679d4b71fed9683e041,plugins/modelchecker/source_gen/jetbrains/mps/ide/modelchecker/actions/CheckModel_Action.java,CheckModel_Action,doUpdate,#AnActionEvent#Map#,39

Before Change


      {
        String whatToCheck = "Model";
        if (((List<SModel>) MapSequence.fromMap(_params).get("models")).size() > 1) {
          whatToCheck = ((List<SModel>) MapSequence.fromMap(_params).get("models")).size() + " Models";
        }
        event.getPresentation().setText("Check " + whatToCheck);
      }

After Change


  public void doUpdate(@NotNull AnActionEvent event, final Map<String, Object> _params) {
    try {
      {
        List<SModel> modelsToCheck = new ArrayList<SModel>();
        if (((List<SModel>) MapSequence.fromMap(_params).get("models")) != null) {
          modelsToCheck.addAll(((List<SModel>) MapSequence.fromMap(_params).get("models")));
        }
        if (((SModel) MapSequence.fromMap(_params).get("model")) != null && !(modelsToCheck.contains(((SModel) MapSequence.fromMap(_params).get("model"))))) {
          modelsToCheck.add(((SModel) MapSequence.fromMap(_params).get("model")));
        }

        String whatToCheck = "Model";
        if (modelsToCheck.size() > 1) {
          whatToCheck = modelsToCheck.size() + " Models";
        }